main:366846:0
 2.1: 60401
 4: 0
 3: 0
 0: 0
 2.3: 60401
 1: 0
 2.3: _Z3fool:246044
  1.2: 39280
  1.4: 46871
  1: 60401
  1.3: _Z3bari:0
   1.2: 0
   1.1: 0
  1.8: _Z3bari:0
   1.2: 0
   1.1: 0
  1.7: _Z3bari:99492
   1.2: 46732
   1.1: 52760
